Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
521	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
522	A Logic for Reasoning about Knowledge of Unawareness∗ ˚ Thomas Agotnes and Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:36:52 Model theory Functions and mappings First-order logic Predicate logic Golden ratio Function Substitution Linear temporal logic Gödel–Gentzen negative translation Logic Mathematics Mathematical logic
523	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
524	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:32:05 Metalogic Interpretation First-order logic Modal logic Epistemic modal logic Structure Well-formed formula Satisfiability Linear temporal logic Logic Model theory Mathematical logic
525	Quantum marginal problem Alexander Klyachko Department of Mathematics Bilkent University August 3, 2009 Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-08-04 15:21:20 Quantum mechanics Abstract algebra Linear algebra Mathematical physics Rotational symmetry Eigenvalues and eigenvectors Quantum logic Density matrix Spin Algebra Mathematics Physics
526	The precedence constrained knapsack problem: Separating maximally violated inequalities. Daniel Espinoza Department of Industrial Engineering, Universidad de Chile Marcos Goycoolea School of Business, Universidad Adolfo Add to Reading List Source URL: mgoycool.uai.cl Language: English - Date: 2012-12-05 08:27:12 Inequality Applied mathematics Combinatory logic Linear programming Cauchy–Schwarz inequality Mathematics Theoretical computer science Elementary algebra
527	Training ICPC Teams: A Technical Guide Rujia Liu Department of Computer Science and Technology Tsinghua University Beijing[removed], China Add to Reading List Source URL: lavergne.gotdns.org Language: English - Date: 2015-01-24 15:00:22 Algorithm Mathematical logic TopCoder ACM International Collegiate Programming Contest Shortest path problem Computational complexity theory Search algorithm Randomized algorithm Linear programming Theoretical computer science Mathematics Applied mathematics
528	MATHEMATICS OF OPERATIONS RESEARCH Vol. 35, No. 2, May 2010, pp. 479–493 issn 0364-765X eissn[removed] 10 3502 0479 informs Add to Reading List Source URL: mgoycool.uai.cl Language: English - Date: 2011-10-28 12:33:41 Combinatorial optimization Elementary algebra Inequality Linear programming Combinatory logic Max-flow min-cut theorem Mathematics Theoretical computer science Applied mathematics
529	Spring “Counter Weight” for a Dobsonian Telescope Scott Hendrickson Brighton, CO[removed]E-mail: [removed] Abstract This is a How-To for constructing a spring system to balance a Add to Reading List Source URL: drskippy.net Language: English - Date: 2009-10-20 14:39:38 Torque Golden ratio Measurement Linear temporal logic Physics Physical quantities Rotation
530	AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L2 (Γ \ SL(2, R)) and then i Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2012-10-16 18:46:50 Differential topology Mathematics Operator theory Orbifold Linear temporal logic Mathematical analysis Representation theory Abstract algebra

UPDATE